00100	OP
00200	←(V1,A1)
00300	NIL
00400	NIL
00500	NIL
00600	ISVAR(V1);;
00700	C(V1,A1);;
00800	
00900	
01000	ITERATIVE
01100	TP
01200	NIL
01300	NIL
01400	NIL
01500	VP(V4);C(V3 V4);;
01800	C(V3,V9);;
02000	CP(V3 V9 (G* V9));;
02300	=(V3,V3);;
02400	P(V3 V1 V2);;
02500	P(V3 V1 V2);;
02600	
02700	OP
02800	VARVAR(V3,V9,T1)
02900	NIL
03000	NIL
03100	NIL
03200	VAR(T1);C(V3 (F* T1 V9));;
03300	CP(V3,V9,T1);;
03400	
03500	OP
03600	VARNOT(V3,V9,T1)
03700	NIL
03800	NIL
03900	NIL
04000	¬VAR(T1);C(V3(H* T1 V9));;
04100	CP(V3,V9,T1);;
04150	
04200	
04300	
04400	NIL
04500	NIL
04600	
04700	ISVAR(Z);VP( NIL* );;
04800	
04900	T
05000	
05100	((C T NIL NIL (X,*))
05200	(VAR T T NIL NIL)
05300	(= T NIL NIL NIL)
05500	(CP T NIL NIL NIL)
05600	(VP T NIL NIL NIL)
05700	(P T NIL NIL NIL))
05800	
05900	
06000	
06100	NIL
06200